Purity through Factorisation

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Purity through Factorisation

We give a construction that identifies the collection of pure processes (i.e. those which are deterministic, or without randomness) within a theory containing both pure and mixed processes. Working in the framework of symmetric monoidal categories, we define a pure subcategory. This definition arises elegantly from the categorical notion of a weak factorisation system. Our construction gives th...

متن کامل

Directional Clustering through Matrix Factorisation

In this paper we are interested in directional clustering, that is, in grouping of feature vectors depending on their direction, so that the angles between pairs of features from the same cluster are small. The assignment of features to clusters is here cast as a constrained low-rank matrix factorisation problem, which can be solved using ideas similar to those used to compute similar matrix fa...

متن کامل

Purity through Unravelling

We divide attempts to give the structural proof theory of modal logics into two kinds, those pure formulationswhose inference rules characterise modality completely by means of manipulations of boxes and diamonds, and those labelled formulations that leverage the use of labels in giving inference rules. The widespread adoption of labelled formulations is driven by their ability to model feature...

متن کامل

Quadratic Optimal Control through Spectral and Coprime Factorisation

We study the innnite horizon quadratic cost minimization problem for a linear time-invariant distributed parameter system with nitely may inputs and outputs. We work in an input/output framework, and reduce the unstable case to the stable case by the use of a right coprime factorization of the impulse response and a preliminary stabilizing feedback. The stable case is then solved through spectr...

متن کامل

Acoustic Factorisation

This paper describes a new technique for training a speech recognition system on inhomogenous training data. The proposed technique , acoustic factorisation, attempts to explicitly model all the factors that affect the acoustic signal. By explicitly modelling all the factors the trained model set may be used in a more flexible fashion than in standard adaptive training schemes. Since an individ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2018

ISSN: 2075-2180

DOI: 10.4204/eptcs.266.20